GANZINGER, HARALD: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A completion procedure for conditional equationst

Harald Ganzinger

Journal:

Journal of Symbolic Computation

Year:

1991

Language:

english

File:

PDF, 1.81 MB

english, 1991

2

[Lecture Notes in Computer Science] Logic for Programming and Automated Reasoning Volume 1705 || Practical Reasoning for Expressive Description Logics

Ganzinger, Harald, McAllester, David, Voronkov, Andrei

Year:

1999

Language:

english

File:

PDF, 1.44 MB

english, 1999

3

Operator identification in ADA

Ganzinger, Harald, Ripken, Knut

Journal:

ACM SIGPLAN Notices

Year:

1980

Language:

english

File:

PDF, 928 KB

english, 1980

4

[ACM Press the annual conference - Houston, Texas, United States (1976.10.20-1976.10.22)] Proceedings of the annual conference on - ACM 76 - SIGPLAN(Paper Session)

Jong, Ken De, Griswold, Ralph E., Ganzinger, Harald, Buckles, B. P., Hintze, G. C.

Year:

1976

File:

PDF, 24 KB

1976

5

[ACM Press the 1982 SIGPLAN symposium - Boston, Massachusetts, United States (1982.06.23-1982.06.25)] Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82 - A truly generative semantics-directed compiler generator

Ganzinger, Harald, Giegerich, Robert, Möncke, Ulrich, Wilhelm, Reinhard

Year:

1982

Language:

english

File:

PDF, 897 KB

english, 1982

6

A truly generative semantics-directed compiler generator

Ganzinger, Harald, Giegerich, Robert, Möncke, Ulrich, Wilhelm, Reinhard

Journal:

ACM SIGPLAN Notices

Year:

1982

Language:

english

File:

PDF, 897 KB

english, 1982

7

Increasing modularity and language-independency in automatically generated compilers

Harald Ganzinger

Journal:

Science of Computer Programming

Year:

1983

Language:

english

File:

PDF, 3.03 MB

english, 1983

8

Order-sorted completion: the many-sorted way

Harald Ganzinger

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.84 MB

english, 1991

9

Foreword

Harald Ganzinger

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 92 KB

english, 1990

10

Preface

Harald Ganzinger

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 55 KB

english, 1998

11

Refutational theorem proving for hierarchic first-order theories

Leo Bachmair, Harald Ganzinger, Uwe Waldmann

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

12

Fast Term Indexing with Coded Context Trees

Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 153 KB

english, 2004

13

Rewrite-based Equational Theorem Proving with Selection and Simplification

BACHMAIR, LEO, GANZINGER, HARALD

Journal:

Journal of Logic and Computation

Year:

1994

Language:

english

File:

PDF, 1.70 MB

english, 1994

14

Foam: A two-level approach to text formatting on a microcomputer system

Harald Ganzinger, Walter Willmertinger

Journal:

Software: Practice and Experience

Year:

1985

Language:

english

File:

PDF, 794 KB

english, 1985

15

Superposition with equivalence reasoning and delayed clause normal form transformation

Harald Ganzinger, Jürgen Stuber

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 334 KB

english, 2005

16

Modular proof systems for partial functions with Evans equality

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 427 KB

english, 2006

17

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || Design of a proof assistant

Ganzinger, Harald

Year:

1996

File:

PDF, 20 KB

1996

18

[Lecture Notes in Computer Science] Programs as Data Objects Volume 217 || Recognition of generative languages

Ganzinger, Harald, Jones, Neil D.

Year:

1986

Language:

english

File:

PDF, 1.29 MB

english, 1986

19

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || Tractable Transformations from Modal Provability Logics into First-Order Logic

Ganzinger, Harald

Year:

1999

Language:

english

File:

PDF, 215 KB

english, 1999

20

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || A PSpace Algorithm for Graded Modal Logic

Ganzinger, Harald

Year:

1999

Language:

english

File:

PDF, 213 KB

english, 1999

21

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 ||

Ganzinger, Harald

Year:

1999

Language:

english

File:

PDF, 3.94 MB

english, 1999

22

[Lecture Notes in Computer Science] Logic for Programming and Automated Reasoning Volume 1705 || Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups

Ganzinger, Harald, McAllester, David, Voronkov, Andrei

Year:

1999

Language:

english

File:

PDF, 1.21 MB

english, 1999

23

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || A Confluent Connection Calculus

Ganzinger, Harald

Year:

1999

Language:

english

File:

PDF, 189 KB

english, 1999

24

[Lecture Notes in Computer Science] Programs as Data Objects Volume 217 || The structure of a self-applicable partial evaluator

Ganzinger, Harald, Jones, Neil D.

Year:

1986

Language:

english

File:

PDF, 1.44 MB

english, 1986

25

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || AC-complete unification and its application to theorem proving

Ganzinger, Harald

Year:

1996

Language:

english

File:

PDF, 766 KB

english, 1996

26

RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION

GANZINGER, HARALD, JACQUEMARD, FLORENT, VEANES, MARGUS

Journal:

International Journal of Foundations of Computer Science

Year:

2000

Language:

english

File:

PDF, 3.39 MB

english, 2000

27

[Lecture Notes in Computer Science] Logic for Programming and Automated Reasoning Volume 1705 || Evidence Algorithm and Sequent Logical Inference Search

Ganzinger, Harald, McAllester, David, Voronkov, Andrei

Year:

1999

Language:

english

File:

PDF, 1.16 MB

english, 1999

28

[Lecture Notes in Computer Science] Automated Deduction — CADE-16 Volume 1632 || On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

Ganzinger, Harald

Year:

1999

Language:

english

File:

PDF, 245 KB

english, 1999

29

Smalltalk-80

Baumeister, Hubert, Ganzinger, Harald, Heeg, Georg, Rüger, Michael

Journal:

it - Information Technology

Year:

1987

Language:

german

File:

PDF, 1.37 MB

german, 1987

30

Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

Ganzinger, Harald

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1983

Language:

english

File:

PDF, 2.17 MB

english, 1983

31

Ordered chaining calculi for first-order theories of transitive relations

Bachmair, Leo, Ganzinger, Harald

Journal:

Journal of the ACM

Year:

1998

Language:

english

File:

PDF, 273 KB

english, 1998

32

[ACM Press the 28th ACM SIGPLAN-SIGACT symposium - London, United Kingdom (2001..-..)] Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 - Efficient deductive methods for program analysis

Ganzinger, Harald

Year:

2001

Language:

english

File:

PDF, 141 KB

english, 2001

33

Automated complexity analysis based on ordered resolution

Basin, David, Ganzinger, Harald

Journal:

Journal of the ACM

Year:

2001

Language:

english

File:

PDF, 264 KB

english, 2001

34

[ACM Press the annual conference - Houston, Texas, United States (1976.10.20-1976.10.22)] Proceedings of the annual conference on - ACM 76 - MUG1 - an incremental compiler-compiler

Ganzinger, Harald, Ripken, Knut, Wilhelm, Reinhard

Year:

1976

Language:

english

File:

PDF, 359 KB

english, 1976

35

Efficient deductive methods for program analysis

Ganzinger, Harald

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 141 KB

english, 2001